 ------------------------------------------
| Applications of the 10-tetrahedra census |
 ------------------------------------------

This folder presents the code and data of applications of the 10-tetrahedra census
mentioned in Section 4 of the paper 

    The complete 10-tetrahedra census of orientable cusped hyperbolic 3-manifolds

by Shana Yunsheng Li (arXiv:2512.02142)

The folders correspond to the sections as follows:

    exceptional_census                  Section 4.1
    thurston_norm_and_twisted_alex      Section 4.2
    homology_spheres                    Section 4.3

The data for Section 4.4 is already clear in the paper, hence is not included here.

 ------
| Code |
 ------

The code for Section 4.1 and Section 4.3 is available under their corresponding folders,
see the .py files for more information.

The code for Section 4.2 and Section 4.4 has been included in the publications mentioned in the sections,
hence is not included here. We remark here that the maximum degree of twisted Alexander polynomials 
can also be computed with the following commands now, where m is an instance of snappy.Manifold

    sage: max([p.degree() for p in m.hyperbolic_torsion(bits_prec = 202, all_lifts = True)])

 ------
| Data |
 ------

All .dat files are readable as plain .txt files, one item per line. If one item contains multiple pieces of information, they are separated by commas (,), except for the following three files

    filled_to_regina_name.dat,  exceptional_name.dat,   hyperbolic_name.dat

where they are separated by backticks (`).

The slopes, stored as pairs of integers, correspond to the peripheral curves stored together with
the representative triangulations in the module snappy_10_tets.

 ----------------------------
| Data of exceptional census |
 ----------------------------

We highlight the following three files:

    short_fillings.dat              The 800,447 candidates of slopes with length at most 6
    exceptional_fillings.dat        The 439,898 exceptional fillings in Theorem 14
    3_spheres.dat                   The 1849 knot exteriors in Theorem 15

All intermediate data in Table 3 are stored in the sub-folders names and hyperbolic. 

The following gives the relations between some of the data files (not in the literal sense)

    short_fillings.dat = filled_to_regina_name.dat + closed_certify_hyperbolicity.dat 
                        + detect_essential_surface.dat + m135(1,3).dat

    filled_to_regina_name.dat = exceptional_name.dat + hyperbolic_name.dat

    exceptional_fillings.dat = exceptional_name.dat + detect_essential_surface.dat

 ---------------------------------------------------------
| Data of Thurston norm and twisted Alexander polynomials |
 ---------------------------------------------------------

The files are described as follows:

    m_to_deg.dat    The maximum degrees of twisted Alexander polynomials of the 143,919 manifolds with Betti number 1
    m_to_taut.dat   The Thurston norm of the successfully computed 143,898 manifolds with Betti number 1

 --------------------------
| Data of homology spheres |
 --------------------------

The files are described as follows:

    short_fillings_with_long_systole.dat    The 1,909,358 fillings with length of slope at most 7.515
    rational_homological_sphere.dat         The 1,899,974 fillings of rational homology 3-spheres in Theorem 17
    integral_homological_sphere.dat         The 10,729 fillings of integral homology 3-spheres mentioned after Theorem 17